A Deductive Study of the C-CLASSICde Description Logic
نویسنده
چکیده
This paper presents C-CLASSIC , a Description Logic (DL) which is expressive enough to be practically useful and which can handle default knowledge. C-CLASSIC has been given an intensional semantics (CL) in which concepts are denoted by a normal form of the set of their properties (rather than the set of their instances as is the case in model-theoric semantics). Therefore, the subsumption algorithm is based on computations and comparisons of elements of CL , thus giving a good adequacy between the polynomial-time subsumption algorithm and the semantics and allowing the soundness and completeness of the algorithm to be established.
منابع مشابه
The Impact of Deductive, Inductive, and L1-Based Consciousness-Raising Tasks on EFL Learners' Acquisition of the Request Speech Act
The necessity and importance of teaching pragmatics has come to light by many researchers (e.g. Rose & Kasper, 2001). Due to the consensus over the need to teach pragmatic competence, the main issue now centers on the question of how we should teach this competence in the most effective way. Consistent with this line of research, the present study aimed to investigate the effectiveness of deduc...
متن کاملOptimizing Query Answering in Description Logics using Disjunctive Deductive Databases
Motivated by the possibilities of applying deductive database technology for efficient query answering in description logics, we present a translation operator μ that transforms non-recursive ALC ontologies into a disjunctive deductive database. Contrary to our previous work, in this paper we focus on handling negation, disjunction and existential quantifiers, which cannot be handled by deducti...
متن کاملLogical Foundations of (e)RDF(S): Complexity and Reasoning
An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms such as logic programming and description logics. In this paper we address this issue by considering embeddings of RDF and RDFS in logic. Using these embeddings, combined with existing results about various fragments of logic, ...
متن کاملSBox: A Qualitative Spatial Reasoner –Progress Report–
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships (e.g. touches, overlaps etc.) on the basis of a description logic framework. We apply this method to the domain of deductive geographic information systems. In contrast to existing work, which mainly focuses on reasoning about qualitative spatial relations alone, we integrate quantitativ...
متن کاملSome Promstk~ of Knowledge Information Inferred by Two Inter+ive
I. INTRODUCTION A new concept of beliefs called interactiue uxrension which are derivable from two interconnected default reasoning rystems is proposed. and its properties are discussed. Default reasoning proposed by R. Reiter is suitable for incomplete knowledge reasoning in artificial intellJgence, logic programming and deductive database, because it can draw plausible conclusions from the in...
متن کامل